The Event Calculus as a Linear Logic
نویسنده
چکیده
The traditional presentation of Kowalski's Event Calculus as a logic program uses Negation-as-Failure (NAF) in an essential way to support persistence of uents. In this paper we present an implementation of Event Calculus as a purely logical (without NAF) Linear Logic (LL) program. This work demonstrates some of the internal non-monotonic features of LL and its suitability for knowledge update (as opposed to knowledge revision). Although NAF is an ontologically suucient solution to the frame problem, the LL solution is implementationally superior. Handling of incomplete temporal descriptions and support for ramiications (derived uents) are also considered.
منابع مشابه
Modal Event Calculus in Lolli
This paper introduces two variants of the Event Calculus (EC) with relative timing of events: the Credulous and the Skeptical Event Calculus (CREC and SKEC respectively). A model that takes into account the dynamics of event ordering updates is constructed for EC. In this model, that appears to be a restriction of the usual model for the modal logic S4, CREC and SKEC are proved to be the modal ...
متن کاملLabelled Event Structure Semantics of Linear Logic Planning
Labelled event structures is a model of concurrency, where causality between actions is expressed by a partial order and the nondeterminism is expressed by a conflict relation on actions. We present a new approach to linear logic planning where computation is performed as cutfree proof search. We provide a labelled event structure semantics for the planning problems, and establish an explicit c...
متن کاملReview of “ Dynamic Epistemic Logic ” ∗
The problem of how to extend epistemic logic (EL) in order to allow for reasoning about knowledge and belief in dynamic contexts gained increasing attention during the last 30 years in the fields of artificial intelligence, theoretical computer science and philosophical logic. EL is a branch of modal logic that was designed in the 60ies by Hintikka in order to study reasoning about knowledge an...
متن کاملLinear-Time Temporal Logic Control of Discrete Event Systems
A Discrete Event System (DES) is a dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown intervals, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Tem...
متن کاملSituation Calculus Specifications for Event Calculus Logic Programs
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker’s solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the effects of actions. A translation of Situation Calculus style theories into Event Calculus style logic programs is ...
متن کامل